Term Gallery logo

Значения термина predicate calculus на английском

A system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions)

        Отсутствуют примеры синонимов
        Использование термина predicate calculus на английском
        1
        I'd be quite interested in hearing about her research at second hand, from someone who obviously understands so much about predicate calculus.
        The Atrocity Archives
        2
        They start with an introduction to set theory and first order predicate calculus, then tackle the lambda calculus and the halting problem.
        The Rhesus Chart
        3
        The gears in his head are whirring as they mesh at high speed, building a Babbage-engine picture of a proposition in predicate calculus.
        The Rhesus Chart